Sciweavers

3082 search results - page 317 / 617
» its 2004
Sort
View
318
Voted
OOPSLA
2004
Springer
16 years 1 days ago
Modeling event driven applications with a specification language (MEDASL)
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
Murali Kaundinya, Ali Syed
MICCAI
2003
Springer
16 years 7 months ago
Generalized Image Models and Their Application as Statistical Models of Images
A generalized image model (GIM) is presented. Images are represented as sets of four-dimensional (4D) sites combining position and intensity information, as well as their associat...
Miguel Ángel González Ballester, Xav...
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
16 years 2 days ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil
BMCBI
2004
138views more  BMCBI 2004»
15 years 6 months ago
Constraint Logic Programming approach to protein structure prediction
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
Alessandro Dal Palù, Agostino Dovier, Feder...
CIA
2004
Springer
16 years 3 days ago
Reasoning About Communication - A Practical Approach Based on Empirical Semantics
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
Felix A. Fischer, Michael Rovatsos