15614 search results - page 172 / 3123 » The State of State |
121
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
The XQuery formalization is an ongoing effort of the W3C XML Query working group to define a precise formal semantics for XQuery. This paper briefly introduces the current state o...
136
click to vote
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
122
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
The Real-time Specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps ...
116
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
– This paper presents a method for designing classifier to automate an evaluation process of protein crystallization growth states. The classifier is designed by binary decision ...
121
click to vote
FSMNLP
2005
Springer
15 years 9 months ago
2005
Springer
We extend finite state registered automata (FSRA) to account for medium-distance dependencies in natural languages. We provide an extended regular expression language whose expres...