Sciweavers

7825 search results - page 262 / 1565
» Physics
Sort
View
KR
2004
Springer
16 years 21 hour ago
Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...
Stefan Schulz, Udo Hahn
ANSS
2003
IEEE
15 years 12 months ago
Implementing Parallel Cell-DEVS
Cell-DEVS is a formalism intended to model complex physical systems as cell spaces. Cell-DEVS allow describing cellular models using timing delay constructions, allowing simple de...
Alejandro Troccoli, Gabriel A. Wainer
140
Voted
ICEIS
2003
IEEE
15 years 12 months ago
Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
B. Nick Rossiter, David A. Nelson, Michael A. Heat...
ICRA
2003
IEEE
101views Robotics» more  ICRA 2003»
15 years 12 months ago
Modeling and control of a monopropellant-based pneumatic actuation system
This work describes the modeling and control of a proposed actuation system that is capable of pressurizing a chamber volume via the catalytic decomposition of a liquid monopropel...
Eric J. Barth, Michael A. Gogola, Michael Goldfarb
IUI
2003
ACM
15 years 12 months ago
Power tools and composite tools: integrating automation with direct manipulation
This paper describes a drawing system that incorporates two novel interaction techniques based on analogies to physical tools. Power tools add limited autonomy in the form of rota...
John M. Daughtry, Robert St. Amant