572 search results - page 13 / 115 » Formal Properties of Metrical Structure |
EH
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper we focus on the problem of making a model of the sensory apparatus from raw uninterpreted sensory data as defined by Pierce and Kuipers (Artificial Intelligence 92:1...
107
click to vote
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
75
Voted
RECOMB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. There is widespread interest in comparative genomics in determining if historically and/or functionally related genes are spatially clustered in the genome, and whether t...
COORDINATION
2005
Springer
15 years 3 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
DLOG
2010
14 years 7 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...