1914 search results - page 253 / 383 » Abstract lambda-Calculus Machines |
EXPERT
2007
13 years 8 months ago
2007
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
AI
2005
Springer
13 years 8 months ago
2005
Springer
Abstract. The protein family classification problem, which consists of determining the family memberships of given unknown protein sequences, is very important for a biologist for ...
TCOS
2008
13 years 7 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
ICIDS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
MVA
2010
13 years 6 months ago
2010
Abstract This paper proposes a novel contact 3D acquisition system based on stereo vision and laser triangulation. The system is composed by several software modules for data acqui...