3729 search results - page 587 / 746 » On Formal Modeling of Agent Computations |
142
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
167
click to vote
RECOMB
2000
Springer
15 years 10 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
168
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
166
click to vote
EWHCI
1995
15 years 10 months ago
1995
Diagrams (e.g., trees for hierarchical structures, or graphs for finite state machines) are often needed as part of advanced user interfaces, and are frequently specific to a use...
149
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
When web services are used to coalesce around the distributed applications, one prominent solution to manage and coordinate web services is the use of process management. Many res...