Sciweavers

22114 search results - page 4194 / 4423
» Use of Models and Modelling Techniques for Service Developme...
Sort
View
GECCO
2006
Springer
168views Optimization» more  GECCO 2006»
15 years 10 months ago
3D airspace sectoring by evolutionary computation: real-world applications
This paper presents a new method for 3D cutting of geometrical space with application to airspace sectoring. This problem comes from the air traffic management but the proposed me...
Daniel Delahaye, Stephane Puechmorel
APSEC
2001
IEEE
15 years 10 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
AWIC
2003
Springer
15 years 10 months ago
A Natural Language Interface for Information Retrieval on Semantic Web Documents
Abstract. We present a dialogue system that enables the access in natural language to a web information retrieval system. We use a Web Semantic Language to model the knowledge conv...
Paulo Quaresma, Irene Pimenta Rodrigues
UMC
2000
15 years 10 months ago
In-vitro Transcriptional Circuits
The structural similarity of neural networks and genetic regulatory networks to digital circuits, and hence to each other, was noted from the very beginning of their study [1, 2]....
Erik Winfree
CVRMED
1995
Springer
15 years 10 months ago
Towards More Capable and Less Invasive Robotic Surgery in Orthopaedics
Abstract. Current surgical robotic systems in orthopaedics lack realistic pre-operative simulations and utilize invasive methods to register bone intra-operatively. A multidiscipli...
R. V. O'Toole III, David A. Simon, Branislav Jaram...
« Prev « First page 4194 / 4423 Last » Next »