Sciweavers

11797 search results - page 2162 / 2360
» Recent Developments in the Experimental
Sort
View
92
Voted
AIS
2000
Springer
15 years 18 days ago
The culture of the artificial
The expression 'nature of the artificial' can be understood in (at least) two distinct, yet possibly related, senses as denoting (i) the essence (or whatness) of the art...
Massimo Negrotti
130
Voted
BMCBI
2002
120views more  BMCBI 2002»
15 years 18 days ago
tacg - a grep for DNA
Background: Pattern matching is the core of bioinformatics; it is used in database searching, restriction enzyme mapping, and finding open reading frames. It is done repeatedly ov...
Harry Mangalam
CN
2000
130views more  CN 2000»
15 years 18 days ago
Automating Web navigation with the WebVCR
Recent developments in Web technology such as the inclusion of scripting languages, frames, and the growth of dynamic content, have made the process of retrieving Web content more...
Vinod Anupam, Juliana Freire, Bharat Kumar, Daniel...
138
Voted
ENTCS
2002
134views more  ENTCS 2002»
15 years 17 days ago
Implementing Compositional Analysis Using Intersection Types With Expansion Variables
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
Assaf J. Kfoury, Geoffrey Washburn, Joe Wells
JAIR
2000
96views more  JAIR 2000»
15 years 17 days ago
OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
Rune M. Jensen, Manuela M. Veloso
« Prev « First page 2162 / 2360 Last » Next »