Sciweavers

2171 search results - page 203 / 435
» A Generic Process Algebra
Sort
View
146
Voted
AB
2007
Springer
15 years 9 months ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...
114
Voted
ITS
2010
Springer
169views Multimedia» more  ITS 2010»
15 years 8 months ago
Automatic Question Generation for Literature Review Writing Support
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
Ming Liu, Rafael A. Calvo, Vasile Rus
ICCV
2009
IEEE
16 years 8 months ago
Is Dual Linear Self-Calibration Artificially Ambiguous?
This purely theoretical work investigates the problem of artificial singularities in camera self-calibration. Selfcalibration allows one to upgrade a projective reconstruction t...
Pierre Gurdjos, Adrien Bartoli, Peter Sturm
210
Voted
ICDT
2009
ACM
130views Database» more  ICDT 2009»
16 years 4 months ago
Towards a theory of search queries
The need to manage diverse information sources has triggered the rise of very loosely structured data models, known as "dataspace models." Such information management sy...
George H. L. Fletcher, Jan Van den Bussche, Dirk V...
134
Voted
COORDINATION
2004
Springer
15 years 9 months ago
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
Michael J. Butler, Carla Ferreira