Search results for "proposal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	M. C. Andrade, Célio Estevan Morón, José Hiroki Saito	Reconfigurable System with Virtuoso Real-Time Kernel and TEV Environment.	SBAC-PAD	2006	DBLP DOI BibTeX RDF
9	Fabio J. Parreira, Keiji Yamanaka, João-Batista Destro-Filho, Angela A. de Sa	Pathological Electroencephalographic Signals Classification by Using Multi-Resolution Analysis and Neural Network.	SBRN	2006	DBLP DOI BibTeX RDF
9	Daisuke Yamaguchi, GuoDong Li, Masatake Nagai	On the Combination of Rough Set Theory and Grey Theory Based on Grey Lattice Operations.	RSCTC	2006	DBLP DOI BibTeX RDF
9	Antonio J. Vallejo, Rubén Morales-Menéndez, Ciro A. Rodríguez, Luis Enrique Sucar	Diagnosis of a Cutting Tool in a Machining Center.	IJCNN	2006	DBLP DOI BibTeX RDF
9	Joseph J. Sharkey, Dmitry Ponomarev 0001	Balancing ILP and TLP in SMT Architectures through Out-of-Order Instruction Dispatch.	ICPP	2006	DBLP DOI BibTeX RDF
9	Juan Antonio Gil-Martínez-Abarca, Francisco Maciá Pérez, Diego Marcos-Jorquera, Virgilio Gilart-Iglesias	Wake on LAN over Internet as Web Service.	ETFA	2006	DBLP DOI BibTeX RDF
9	Christophe Chassot, André Lozes, Florin Racaru, Guillaume Auriol	A user-based approach for the choice of the IP services in the multi domains DiffServ Internet.	AINA (2)	2006	DBLP DOI BibTeX RDF
9	María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Sergio Pozo	Distributed Model-Based Diagnosis using Object-Relational Constraint Databases.	AINA (2)	2006	DBLP DOI BibTeX RDF
9	Shohei Yoshikawa, Takahiko Kamiryo, Yoshiaki Yasumura, Kuniaki Uehara	Strategy Acquisition of Agents in Multi-Issue Negotiation.	Web Intelligence	2006	DBLP DOI BibTeX RDF
9	Yao-Hsin Chou, I-Ming Tsai, Chien-Ming Ko, Sy-Yen Kuo, Ing-Yi Chen	Quantum Oblivious Transfer and Fair Digital Transactions.	PRDC	2006	DBLP DOI BibTeX RDF
9	Carlos Rabadão, Edmundo Monteiro	Policy Based Architecture for Class Based QoS Suppo.	ICNS	2006	DBLP DOI BibTeX RDF
9	Keith G. Jeffery	Beyond the Horizon: Planning Future European ICT R&D.	SOFSEM	2006	DBLP DOI BibTeX RDF
9	James Shore	Introduction: Experience Reports.	AGILE	2006	DBLP DOI BibTeX RDF
9	Virgilio Gilart-Iglesias, Francisco Maciá Pérez, Juan Antonio Gil-Martínez-Abarca, Diego Marcos-Jorquera	Services and Networks management through embedded devices and SOA.	EDOC	2006	DBLP DOI BibTeX RDF
9	Ana Luisa Leal, Paulo Quaresma, Rove Luiza de Oliveira Chishman	From Syntactical Analysis to Textual Segmentation.	PROPOR	2006	DBLP DOI BibTeX RDF
9	Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro	SCC: A Service Centered Calculus.	WS-FM	2006	DBLP DOI BibTeX RDF
9	Trevor Sweeting, Samer Kharroubi	Application of a predictive distribution formula to Bayesian computation for incomplete data models.	Stat. Comput.	2005	DBLP DOI BibTeX RDF	Laplace approximation, predictive distribution, simulation, importance sampling, missing data, latent variables, asymptotic approximation, Metropolis-Hastings, data augmentation, Bayesian computation
9	Anne Etien, Colette Rolland	Measuring the fitness relationship.	Requir. Eng.	2005	DBLP DOI BibTeX RDF	Fitness relationship, Criterion, Bunge’s ontology, Metric, Alignment
9	Margarita Amor, Montserrat Bóo, Wolfgang Straßer, Johannes Hirche, Michael C. Doggett	A Meshing Scheme for Efficient Hardware Implementation of Butterfly Subdivision Using Displacement Mapping.	IEEE Computer Graphics and Applications	2005	DBLP DOI BibTeX RDF	mesh storage, graphics hardware, displacement mapping, Adaptive subdivision
9	Caroline Lacoste, Xavier Descombes, Josiane Zerubia	Point Processes for Unsupervised Line Network Extraction in Remote Sensing.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	simulated annealing, remote sensing, Stochastic processes, Monte Carlo, edge and feature detection
9	Peter Kornerup	Reviewing 4-to-2 Adders for Multi-Operand Addition.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	redundant adders, digit sets, digit encodings, multiplier trees
9	Amparo Navasa Martínez, Miguel A. Pérez 0001, Juan Manuel Murillo	Aspect Modelling at Architecture Design.	EWSA	2005	DBLP DOI BibTeX RDF
9	Patricia Maldonado, Carlos Carrascosa, Vicente J. Botti	Using Negotiation Techniques as Time-Restricted Scheduling Policies on Intelligent Agents.	CEEMAS	2005	DBLP DOI BibTeX RDF
9	José Oliver 0001, Manuel P. Malumbres	A Fast Run-Length Algorithm for Wavelet Image Coding with Reduced Memory Usage.	IbPRIA (1)	2005	DBLP DOI BibTeX RDF
9	Alexandre Bernardino, José Santos-Victor	A Real-Time Gabor Primal Sketch for Visual Attention.	IbPRIA (1)	2005	DBLP DOI BibTeX RDF
9	Tetsuo Kamina, Tetsuo Tamai	Selective method combination in mixin-based composition.	SAC	2005	DBLP DOI BibTeX RDF	McJava, accidental overriding, hygienic mixins, mixin-based subtyping, implementation
9	Alessandro Cilardo, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano	A Novel Unified Architecture for Public-Key Cryptography.	DATE	2005	DBLP DOI BibTeX RDF
9	Jang-Sub Kim, Ho-Jin Shin, Dong Ryeol Shin	Multiuser CDMA Parameters Estimation Using Sigma Point Particle Filter.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF
9	María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Fernando de la Rosa Troyano	Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis.	DEXA	2005	DBLP DOI BibTeX RDF
9	Oscar Cordón, Sergio Damas, José Santamaría	A scatter search based optimizer for the registration of 3D surfaces.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
9	Daniel Molina, Francisco Herrera, Manuel Lozano 0001	Adaptive local search parameters for real-coded memetic algorithms.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
9	Mario A. R. Dantas, R. K. Baggio	A SMS Tool for Alerts and Monitoring of a High Availability Cluster Envioronment.	HPCS	2005	DBLP DOI BibTeX RDF
9	Masaki Hasegawa, Subhash Bhalla, Laurence Tianruo Yang	Elimination of Non-deterministic Delays in a Real-Time Database System.	ICESS	2005	DBLP DOI BibTeX RDF
9	José A. Gámez 0001, José Miguel Puerta	Constrained Score+(Local)Search Methods for Learning Bayesian Networks.	ECSQARU	2005	DBLP DOI BibTeX RDF
9	Tilman Lange, Joachim M. Buhmann	Combining partitions by probabilistic label aggregation.	KDD	2005	DBLP DOI BibTeX RDF	consensus partition, re-sampling, clustering
9	Steve Cunningham, Diana Gant, Harriet G. Taylor	Taking advantage of national science foundation funding opportunities.	SIGCSE	2005	DBLP DOI BibTeX RDF	education, awards, national science foundation, grants, proposals
9	Rami Langar, Samir Tohmé, Gwendal Le Grand	Micro Mobile MPLS: A New Scheme for Micro-mobility Management in 3G All-IP Networks.	ISCC	2005	DBLP DOI BibTeX RDF
9	Andrew Faulring, Brad A. Myers	Enabling rich human-agent interaction for a calendar scheduling agent.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	rich human-agent interaction, intelligent user interfaces, interface agents, calendars, meeting scheduling
9	Shumei Liu, Tomoharu Nagao	Adaptive XCSM for Perceptual Aliasing Problems.	ICNC (3)	2005	DBLP DOI BibTeX RDF
9	Marcos A. de Siqueira, Fabrício L. Figueiredo, Flavia M. F. Rocha, Jose A. Martins, Marcel C. de Castro	Policy-Based Dynamic Reconfiguration of Mobile Ad Hoc Networks.	ICN (2)	2005	DBLP DOI BibTeX RDF
9	Min-Su Kim, Sébastien Valette, Ho-Youl Jung, Rémy Prost	Watermarking of 3D Irregular Meshes Based on Wavelet Multiresolution Analysis.	IWDW	2005	DBLP DOI BibTeX RDF
9	Tomoki Minami, Koji Sakai, Koji Koyamada	The Method to Evaluate a Similarity of Two Dimensional Data Using Critical Point Graph.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
9	Alessio Botta, Donato Emma, Antonio Pescapè, Giorgio Ventre	Systematic Performance Modeling and Characterization of Heterogeneous IP Networks.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
9	Grzegorz Kolaczek, Agnieszka Pieczynska-Kuchtiak, Krzysztof Juszczyszyn, Adam Grzech, Radoslaw P. Katarzyniak, Ngoc Thanh Nguyen 0001	A Mobile Agent Approach to Intrusion Detection in Network Systems.	KES (2)	2005	DBLP DOI BibTeX RDF
9	Akinori Shiraga, Tsuyoshi Abe, Masahisa Kawashima	An authentication method for interaction between personal servers based on the exchange of addresses.	Digital Identity Management	2005	DBLP DOI BibTeX RDF	authentication, P2P, certificate
9	Adrián Macías-Estrada, Oscar-Iván Lepe-Aldama, J. Antonio García-Macías	Implementing True Multicast Communications Support for the JADE/LEAP Agent Framework.	ENC	2005	DBLP DOI BibTeX RDF
9	Lewis D. Griffin, Martin Lillholm	Image Features and the 1-D, 2nd Order Gaussian Derivative Jet.	Scale-Space	2005	DBLP DOI BibTeX RDF
9	Sorin Cotofana, Alexandre Schmid, Yusuf Leblebici, Adrian M. Ionescu, Oliver Soffke, Peter Zipf, Manfred Glesner, Antonio Rubio 0001	CONAN - A Design Exploration Framework for Reliable Nano-Electronics.	ASAP	2005	DBLP DOI BibTeX RDF
9	Fumiaki Hirose, Masahiko Fukuhara, Tomoya Hatano, Hiroshi Shigeno, Ken-ichi Okada	A Two-Level ECN Marking for Fair Bandwidth Allocation between HSTCP and TCP Reno.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
9	Salvatore Cavalieri	Outdoor location detection based on signal propagation models.	ETFA	2005	DBLP DOI BibTeX RDF
9	Cássia Yuri Tatibana, Rômulo Silva de Oliveira, Carlos Montez	Dynamic guarantee in component-based distributed real-time systems.	ETFA	2005	DBLP DOI BibTeX RDF
9	Carlos Cares, Xavier Franch, Enric Mayol	Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem.	CLIMA	2005	DBLP DOI BibTeX RDF
9	Ruo Ando, Yoshiyasu Takefuji	Self Debugging Mode for Patch-Independent Nullification of Unknown Remote Process Infection.	CANS	2005	DBLP DOI BibTeX RDF	self-debugging mode, real-time nullification, debug register, improved debug exception handler, branchIP recorder
9	Erik Wilde, Marcel Baschnagel	Fragment identifiers for plain text files.	Hypertext	2005	DBLP DOI BibTeX RDF	plain text, XLink, firefox, URI
9	Pekka Pääkkönen, Daniel Pakkala, Markus Sihvonen	An Optimized Message-Oriented Middleware Solution for Extending Enterprise Services to the Mobile Domain.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF
9	Gaoxiang Yi, Heping Hu	Web Query Automatic Expansion Based on Tolerance Rough Set.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF
9	Tetsuya Kusumoto, Yohei Kunichika, Jiro Katto, Sakae Okubo	Proactive Route Maintenance and Overhead Reduction for Application Layer Multicast.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF	Redundant Overlay, Proactive Route Maintenance, Application Layer Multicast, P2P Streaming
9	Satoshi Fujita, Akira Ohtsubo, Masaya Mito	Extended Skip Graphs for Efficient Key Search in P2P Environment.	ISPAN	2005	DBLP DOI BibTeX RDF
9	Cristina Marin, Mikael Desertot	Sensor bean: a component platform for sensor-based services.	MPAC	2005	DBLP DOI BibTeX RDF	sensor-based applications, sensor-based services, sensors, services, component models, data gathering
9	Jelle van Veenen, Henry Prakken	A verifiable protocol for arguing about rejections in negotiation.	AAMAS	2005	DBLP DOI BibTeX RDF	Negotiation, argumentation
9	Christian Guttmann, Ingrid Zukerman	Voting policies that cope with unreliable agents.	AAMAS	2005	DBLP DOI BibTeX RDF	unreliable team members, variable performance, voting policies, agent collaboration
9	Alessio Botta, Antonio Pescapè, Giorgio Ventre	On the Performance of Bandwidth Estimation Tools.	Systems Communications	2005	DBLP DOI BibTeX RDF
9	Hedde Zeijlstra	Doubling: The Semantic Driving Force Behind Functional Categories.	TbiLLC	2005	DBLP DOI BibTeX RDF	Diachronic syntax, Flexible syntax, Formal features, Functional projections, Negative Concord, Learnability, Negation, Doubling
9	Barbara Partee, Vladimir Borschev	Pros and Cons of a Type-Shifting Approach to Russian Genitive of Negation.	TbiLLC	2005	DBLP DOI BibTeX RDF
9	Paolo Romano 0002, Francesco Quaglia, Bruno Ciciani	A Protocol for Improved User Perceived QoS in Web Transactional Applications.	NCA	2004	DBLP DOI BibTeX RDF
9	Francisco Fernández de Vega, Germán Galeano Gil, Juan Antonio Gómez Pulido, Jose Luis Guisado	Control of Bloat in Genetic Programming by Means of the Island Model.	PPSN	2004	DBLP DOI BibTeX RDF
9	Makoto Sugihara, Kazuaki J. Murakami, Yusuke Matsunaga	Practical Test Architecture Optimization for System-on-a-Chip under Floorplanning Constraints.	ISVLSI	2004	DBLP DOI BibTeX RDF
9	Jorge Enrique Pérez-Martínez, Almudena Sierra-Alonso	Heuristics for the Transition from Analysis to Software Architecture.	WICSA	2004	DBLP DOI BibTeX RDF
9	Fábio Zschornack, Nina Edelweiss	On Evolution of XML Workflow Schemata.	DEXA	2004	DBLP DOI BibTeX RDF
9	Christopher Lamb, Duncan Berntsen, Stefan Küppers	E-participation in the Planning Process.	IV	2004	DBLP DOI BibTeX RDF
9	Carlos Rabadão, Edmundo Monteiro	Authentication, Authorization, Admission, and Accounting for QoS Applications.	ECUMN	2004	DBLP DOI BibTeX RDF
9	Vincent W. L. Tam, Jack Ho, Alvin C. M. Kwan	Applying An Improved Heuristic Based Optimiser to Solve a Set of Challenging University Timetabling Problems: An Experience Report.	PRICAI	2004	DBLP DOI BibTeX RDF
9	Hyun-Jin Park, Seog-Hong Park, We-Duke Cho, Hyoung-Kyu Song	Ubiquitos Home Networking Based on Ultra Wide Bandwidth Communication Systems.	WSTFEUS	2004	DBLP DOI BibTeX RDF
9	Joydip Mitra, Palash Sarkar 0001	Time-Memory Trade-Off Attacks on Multiplications and T-Functions.	ASIACRYPT	2004	DBLP DOI BibTeX RDF	T–functions, cryptanalysis, stream cipher, multiplication, time-memory trade-off
9	Steve Cunningham, Ernest L. McDuffie, Harriet G. Taylor	Taking advantage of national science foundation funding opportunities.	SIGCSE	2004	DBLP DOI BibTeX RDF	education, awards, National Science Foundation, grants, proposals
9	Petre Dini, Cosmin Dini, Manuela Popescu, Andrew Harvey	Protocol for Dynamic Self-Adaptive Coupling in Component-Based Distributed Systems.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
9	Gwen Salaün, Andrea Ferrara, Antonella Chirichiello	Negotiation Among Web Services Using LOTOS/CADP.	ECOWS	2004	DBLP DOI BibTeX RDF	CADP, Web Services, Formal Methods, Negotiation, BPEL, LOTOS
9	Christa M. Chewar, D. Scott McCrickard, Alistair G. Sutcliffe	Unpacking critical parameters for interface design: evaluating notification systems with the IRC framework.	Conference on Designing Interactive Systems	2004	DBLP DOI BibTeX RDF	usability evaluation, peripheral display, design reuse, claims
9	Leonid Sigal, Ying Zhu 0006, Dorin Comaniciu, Michael J. Black	Tracking Complex Objects Using Graphical Object Models.	IWCM	2004	DBLP DOI BibTeX RDF
9	Ming Lin, Jihong Zhu 0001, Zengqi Sun	Learning Obstacle Avoidance Behavior Using Multi-agent Learning with Fuzzy States.	AIMSA	2004	DBLP DOI BibTeX RDF
9	Vincent W. L. Tam, M. C. Kwan	Adapting the Large Neighborhood Search to Effectively Solve Pickup and Delivery Problems with Time Windows.	ICTAI	2004	DBLP DOI BibTeX RDF
9	Antonio Brogi, Carlos Canal, Ernesto Pimentel 0001	Measuring Component Adaptation.	COORDINATION	2004	DBLP DOI BibTeX RDF
9	Myung-Kyu Yi, Chong-Sun Hwang	A New IP Paging Protocol for Hierarchical Mobile IPv6.	ICCSA (3)	2004	DBLP DOI BibTeX RDF
9	Miguel A. Melgarejo, Carlos Andrés Peña-Reyes	Hardware architecture and FPGA implementation of a type-2 fuzzy system.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	fuzzy hardware, interval type-2 fuzzy systems, FPGA, distributed arithmetic, type-2 fuzzy logic
9	Juan-Pablo López-Grao, José Merseguer, Javier Campos	From UML activity diagrams to Stochastic Petri nets: application to software performance engineering.	WOSP	2004	DBLP DOI BibTeX RDF	UML Profile for schedulability performance and time specification, UML, CASE tool, compositionality, software performance, activity diagrams, Generalized Stochastic Petri nets
9	Fabien Laguillaumie, Damien Vergnaud	Designated Verifier Signatures: Anonymity and Efficient Construction from Any Bilinear Map.	SCN	2004	DBLP DOI BibTeX RDF	Privacy of signers identity, Bilinear Diffie-Hellman problems, Exact security, Designated verifier signatures, Tight reduction
9	Craig McKenzie, Peter M. D. Gray, Alun D. Preece	Extending SWRL to Express Fully-Quantified Constraints.	RuleML	2004	DBLP DOI BibTeX RDF
9	George Alyfantis, Stathes Hadjiefthymiades, Lazaros F. Merakos	MITOS: A Smart Spaces System for Pervasive Computing.	EDBT Workshops	2004	DBLP DOI BibTeX RDF
9	Mun Wai Lee, Isaac Cohen	Human Upper Body Pose Estimation in Static Images.	ECCV (2)	2004	DBLP DOI BibTeX RDF
9	Federico Banti, José Júlio Alferes, Antonio Brogi	Well Founded Semantics for Logic Program Updates.	IBERAMIA	2004	DBLP DOI BibTeX RDF
9	S. Selvakennedy	The Impact of Transmit Buffer on EDCA with Frame-Bursting Option for Wireless Networks.	LCN	2004	DBLP DOI BibTeX RDF
9	Salekul Islam, J. William Atwood	Security Issues in PIM-SM Link-Local Messages.	LCN	2004	DBLP DOI BibTeX RDF
9	Liang Jin, Nick Koudas, Chen Li 0001	NNH: Improving Performance of Nearest-Neighbor Searches Using Histograms.	EDBT	2004	DBLP DOI BibTeX RDF
9	Michael Egmont-Petersen	Feature Selection by Markov Chain Monte Carlo Sampling - A Bayesian Approach.	SSPR/SPR	2004	DBLP DOI BibTeX RDF
9	Stephan Flake, Wolfgang Müller 0003	Formal semantics of static and temporal state-oriented OCL constraints.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts
9	Jorge Enrique Pérez-Martínez	Heavyweight extensions to the UML metamodel to describe the C3 architectural style.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF	C3 style, UML, component, metamodel, role, connector, port
9	Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez	Solving Combinatorial Problems with a Constraint Functional Logic Language.	PADL	2003	DBLP DOI BibTeX RDF	Constraints, Functional Logic Programming, Finite Domains
9	Luís Torgo, Rita P. Ribeiro	Predicting Outliers.	PKDD	2003	DBLP DOI BibTeX RDF
9	Walter Cazzola, Ahmed Ghoneim, Gunter Saake	Software Evolution through Dynamic Adaptation of Its OO Desgin.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF	Consistency Validation, UML, Reflection, Software Evolution, Dynamic Reconfiguration, XMI
9	Sergio Ilarri, Eduardo Mena, Arantza Illarramendi	Self-Synchronization of Cooperative Agents in a Distributed Environment.	CEEMAS	2003	DBLP DOI BibTeX RDF	Coordinated behaviour, distributed cooperative agents