1757 search results - page 38 / 352 » Integrating and Extending JCSP |
ICECCS
2005
IEEE
14 years 3 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
SMI
2005
IEEE
14 years 3 months ago
2005
IEEE
We report new techniques and theory in computational topology for reconstructing surfaces with boundary. This complements and extends known techniques for surfaces without boundar...
P2P
2002
IEEE
14 years 2 months ago
2002
IEEE
The combination of peer-to-peer networking and agentbased computing seems to be a perfect match. Agents are cooperative and communication oriented, while peerto-peer networks typi...
VLDB
1997
ACM
14 years 1 months ago
1997
ACM
In recentyears,databaseresearchandproduct developmentactivities havefocusedonsupport for non-traditional data types, such astext or multi-media documents.This paper describes an a...
NAACL
2007
13 years 11 months ago
2007
This paper addresses the task of providing extended responses to questions regarding specialized topics. This task is an amalgam of information retrieval, topical summarization, a...